The establishment of Spartina in the Tamar Estuary, Tasmania

Spartina anglica was introduced into the Tamar Estuary, Tasmania, in 1947. Initially spread was slow but subsequently rapid. It is capable of colonizing all rock types and sediments available in the estuary but fine sediments provide the most and basalt the least suitable substrate. It colonises all available slopes (10 degrees -28 degrees). As a result of the introduction, mud banks become stabilized and the navigable channel thereby safeguarded. The spread of Spartina has, however, adversely affected some beaches and private jetties

Picosecond time-resolved resonance Raman observation of the iso-CH2Cl-I and iso-CH2I-Cl photoproducts from the "photoisomerization" reactions of CH 2ICl in the solution phase

A preliminary pecosecond Stokes time-resolved resonance Raman investigation was made of the initial formation and subsequent decay of the photoproduct produced following 267 nm excitaiton of CH 2ClI in acetonitrile solution. A coparision was made between density-functional theroy computations for portable photoproduct species and the results from a femtosecond transient absorption study to Raman spectra. This comparision indicated that the iso-CH 2ClI was aminly produced and associated with the 460 nm transient absorption band.published_or_final_versio

Vandetanib-eluting radiopaque beads for chemoembolization: physicochemical evaluation and biological activity of vandetanib in hypoxia.

Vandetanib-eluting radiopaque beads (VERB) have been developed for use in transarterial chemoembolization of liver tumours, with the goal of combining embolization with local delivery of antiangiogenic therapy. The objective of this study was to investigate how embolization-induced hypoxia may affect antitumoural activity of vandetanib, an inhibitor of vascular endothelial growth factor receptor (VEGFR) and epidermal growth factor receptor (EGFR), in the context of hepatocellular carcinoma (HCC) treatment. We studied the effect of vandetanib on proliferation, cell cycle and apoptosis of HCC cells, in hypoxic conditions, as well as the direct effects of the beads on 3D HCC spheroids. Vandetanib suppressed proliferation and induced apoptosis of HCC cells in vitro and was equipotent in hypoxic and normoxic conditions. High degrees of apoptosis were observed among cell lines in which vandetanib suppressed ERK1/2 phosphorylation and upregulated the proapoptotic protein Bim, but this did not appear essential for vandetanib-induced cell death in all cell lines. Vandetanib also suppressed the hypoxia-induced secretion of VEGF from HCC cells and inhibited proliferation of endothelial cells. Incubation of tumour spheroids with VERB led to sustained growth inhibition equivalent to the effect of free drug. We conclude that vandetanib has both antiangiogenic and direct anticancer activity against HCC cells even in hypoxic conditions, warranting the further evaluation of VERB as novel anticancer agents

Output, Inflation and the New Keynesian Phillips Curve

Explicit modelling of factor markets clarifies two fundamental aspects of the New Keynesian Phillips Curve (NKPC). First, we clarify the relationship between output and marginal cost. Second, for the NKPC in inflation-output space, we identify the key stochastic influences on inflation without recourse to ad hoc cost or excess demand shocks. The econometric implementation of this clarified NKPC, based on Campbell (1987), allows us jointly to derive inflation as a forecast of future variables and infer the degree of price stickiness in real-world data. Our approach clarifies the empirical successes and failures of the NKPC

Engaging with assessment: increasing student engagement through continuous assessment

Student engagement is intrinsically linked to two important metrics in learning: student satisfaction and the quality of the student experience. One of the ways that engagement can be influenced is through careful curriculum design. Using the knowledge that many students are ‘assessment-driven’ a low stakes continuous weekly summative e-assessment was introduced to a module. The impact this had on student engagement was measured by studying student activity within the module virtual learning environment (VLE). It was found that introduction of the e-assessments led to a significant increase in VLE activity compared to the VLE activity in that module the previous year, and also compared to the VLE activity of two other modules studied by the same student cohort. As many institutions move towards greater blended or online deliveries it will become more important to ensure that VLEs encourage high levels of student engagement in order to maintain or enhance the student experience. Keywords : continuous assessment, learning analytics, student engagement, virtual learning environment

Exhaled volatile organic compounds in patients with non-small cell lung cancer: cross sectional and nested short-term follow-up study

BACKGROUND: Non-invasive diagnostic strategies aimed at identifying biomarkers of lung cancer are of great interest for early cancer detection. The aim of this study was to set up a new method for identifying and quantifying volatile organic compounds (VOCs) in exhaled air of patients with non-small cells lung cancer (NSCLC), by comparing the levels with those obtained from healthy smokers and non-smokers, and patients with chronic obstructive pulmonary disease. The VOC collection and analyses were repeated three weeks after the NSCLC patients underwent lung surgery. METHODS: The subjects' breath was collected in a Teflon(® )bulb that traps the last portion of single slow vital capacity. The 13 VOCs selected for this study were concentrated using a solid phase microextraction technique and subsequently analysed by means of gas cromatography/mass spectrometry. RESULTS: The levels of the selected VOCs ranged from 10(-12 )M for styrene to 10(-9 )M for isoprene. None of VOCs alone discriminated the study groups, and so it was not possible to identify one single chemical compound as a specific lung cancer biomarker. However, multinomial logistic regression analysis showed that VOC profile can correctly classify about 80 % of cases. Only isoprene and decane levels significantly decreased after surgery. CONCLUSION: As the combination of the 13 VOCs allowed the correct classification of the cases into groups, together with conventional diagnostic approaches, VOC analysis could be used as a complementary test for the early diagnosis of lung cancer. Its possible use in the follow-up of operated patients cannot be recommended on the basis of the results of our short-term nested study

ReverCSP: Time-Travelling in CSP Computations

[EN] This paper presents reverCSP, a tool to animate both forward and backward CSP computations. This ability to reverse computations can be done step by step or backtracking to a given desired state of interest. reverCSP allows us to reverse computations exactly in the same order in which they happened, or also in a causally-consistent way. Therefore, reverCSP is a tool that can be especially useful to comprehend, analyze, and debug computations. reverCSP is an open-source project publicly available for the community. We describe the tool and its functionality, and we provide implementation details so that it can be reimplemented for other languages.This work has been partially supported by the EU (FEDER) and the Spanish MCI/AEI under grants TIN2016-76843-C4-1-R and PID2019- 104735RB-C41, and by the Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust).Galindo-Jiménez, CS.; Nishida, N.; Silva, J.; Tamarit, S. (2020). ReverCSP: Time-Travelling in CSP Computations. Springer. 239-245. https://doi.org/10.1007/978-3-030-52482-1_14S239245Bernadet, A., Lanese, I.: A modular formalization of reversibility for concurrent models and languages. In: Proceedings of ICE 2016, EPTCS (2016)Brown, G., Sabry, A.: Reversible communicating processes. Electron. Proc. Theor. Comput. Sci. 203, 45–59 (2016)Conserva Filhoa, M., Oliveira, M., Sampaio, A., Cavalcanti, A.: Compositional and local livelock analysis for CSP. Inf. Process. Lett 133, 21–25 (2018)Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292–307. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-28644-8_19Elnozahy, E.N.M., Alvisi, L., Wang, Y.-M., Johnson, D.B.: A survey of rollback- recovery protocols in message-passing systems. ACM Comput. Surv. 34(3), 375–408 (2002)Fang, Y., Zhu, H., Zeyda, F., Fei, Y.: Modeling and analysis of the disruptor framework in csp. In: Proceedings of CCWC 2018. IEEE Computer Society (2018)Ladkin, P.B., Simons, B.B.: Static deadlock analysis for CSP-type communications. In: Fussell, D.S., Malek, M. (eds.) Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems. The Springer International Series in Engineering and Computer Science, vol. 297, pp. 89–102. Springer, Boston (1995). https://doi.org/10.1007/978-1-4615-2271-3_5Landauer, R.: Irreversibility and heat generation in the computing process. IBM J. Res. Dev. 5, 183–191 (1961)Lanese, I., Antares Mezzina, C., Tiezzi, F.: Causal-consistent reversibility. Bull. EATCS 114, 17 (2014)Lanese, I., Nishida, N., Palacios, A., Vidal, G.: CauDEr: a causal-consistent reversible debugger for erlang. In: Gallagher, J.P., Sulzmann, M. (eds.) FLOPS 2018. LNCS, vol. 10818, pp. 247–263. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-90686-7_16Lanese, I., Palacios, A., Vidal, G.: Causal-consistent replay debugging for message passing programs. In: Pérez, J.A., Yoshida, N. (eds.) FORTE 2019. LNCS, vol. 11535, pp. 167–184. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-21759-4_10Llorens, M., Oliver, J., Silva, J., Tamarit, S.: Dynamic slicing of concurrent specification languages. Parallel Comput. 53, 1–22 (2016)Llorens, M., Oliver, J., Silva, J., Tamarit, S.: Tracking CSP computations. J. Log. Algebr. Meth. Program. 102, 138–175 (2019)Perera, R., Garg, D., Cheney, J.: Causally consistent dynamic slicing. In Proceedings of CONCUR 2016, LIPIcs, vol. 59, pp. 18:1–18:15 (2016)Phillips, I., Ulidowski, I., Yuen, S.: A reversible process calculus and the modelling of the ERK signalling pathway. In: Glück, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol. 7581, pp. 218–232. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36315-3_18Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1997)Zhao, H., Zhu, H., Yucheng, F., Xiao, L.: Modeling and verifying storm using CSP. In: Proceedings of HASE 2019. IEEE Computer Society (2019